例句與造句

1. 2 daws c , olivero a , tripakis s , yovine s . the tool kronos . in dimacs workshop on verification and control of hybrid systems , lncs 1066 , springer - verlag , october 1995 . 3 henzinger t a , ho p h . hytech : the cornell hybrid technology tool
   當自動機當前狀態(tài)為l時，轉換l , g , r , l的使能條件是時鐘變量的取值滿足g ，而當轉換發(fā)生之后， r中時鐘的值被重置為0 。
2. It's difficult to find verification and control in a sentence. 用verification and control造句挺難的